CompiledBuiltinBool.agda:12,1-52
Conflicting GHC pragmas for CompiledBuiltinBool.Bool at
  - CompiledBuiltinBool.agda:7,1-26
  - CompiledBuiltinBool.agda:12,1-52
